﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using System.Diagnostics.Contracts;
using FazaDemoSolution.BL.Domain.AbstractCore;

namespace FazaDemo.BL.Services
{
    [ContractClassFor(typeof(IDataServicePoint<>))]
    abstract class DataServicePointContract<T> : IDataServicePoint<T>
    {

        public IEnumerable<T> Get()
        {
            Contract.Ensures(Contract.Result<IEnumerable<T>>() != null);
            return null;
        }

    }
}
